Osss+r: Simulation and Synthesis of Self-adaptive Systems

نویسندگان

  • Philipp A. Hartmann
  • Andreas Schallenberg
  • Frank Oppenheimer
  • Wolfgang Nebel
چکیده

We present the modelling of (self-)adaptive systems with the OSSS+R library, which is based on SystemC. Additionally, an FPGA-based reconfigurable demonstrator shows first syn-

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Improving the Resilience of Military Hospitals Through Self-Adaptation of Hospital Systems Using Organic Computing

Background and Aim: Among the failures of a disaster, the disruption of the critical infrastructure of the community causes the most damage to society. Therefore, the ability of critical infrastructure such as hospitals to anticipate, absorb, adapt or rapidly recover from a devastating event is essential. The purpose of this study is to design a self-adaptive model for resilient hospital system...

متن کامل

Vehicle Stabilization via a Self-Tuning Optimal Controller

Nowadays, using advanced vehicle control and safety systems in vehicles is growing rapidly. In this regard, in recent years new control systems, called VDC, have been introduced. These systems stabilize vehicle yaw motion, by yaw moment resulted from tire controlling forces. In this paper, an adaptive optimal controller applied to a vehicle to obtain a satisfactory lateral and yaw stability. To...

متن کامل

CSP with Synthesisable SystemC(tm) and OSSS

C. Hoare’s Communicating Sequential Processes (CSP) notation [12] to describe communication patterns of highly parallel systems is based on a well defined semantic and is accompanied by a wealth of research. This allows automatic checks for important properties like deadlock-freedom, livelock-freedom etc.. In order to obtain an executable system for simulation and later synthesis the algebraic ...

متن کامل

RELIABILITY-BASED DESIGN OPTIMIZATION OF COMPLEX FUNCTIONS USING SELF-ADAPTIVE PARTICLE SWARM OPTIMIZATION METHOD

A Reliability-Based Design Optimization (RBDO) framework is presented that accounts for stochastic variations in structural parameters and operating conditions. The reliability index calculation is itself an iterative process, potentially employing an optimization technique to find the shortest distance from the origin to the limit-state boundary in a standard normal space. Monte Carlo simulati...

متن کامل

NUMERICAL SIMULATION OF COMBUSTION SYNTHESIS OF ALUMINIDE INTERMETALLIC COMPOUNDS

Combustion synthesis is a special thermophysico-chemical process applied for production of intermetallic compounds. In the present work, a reaction–diffusion numerical model was developed to analyze the combustion synthesis of aluminide intermetallics by self-propagating high-temperature synthesis process. In order to verify the reliability of the numerical model, an experimental setup was desi...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2007